Kleisli Operations for Topological Spaces
نویسندگان
چکیده
The axioms for a topology in terms of open sets follow necessarily from the intuitive relation of this concept with ultrafilter convergence. By contrast, the intuitive relations between neighbourhood systems or closure operations on the one hand and ultrafilter convergence on the other lead only to pretopologies. Kleisli operations, previously used in categorical algebra, greatly facilitate categorical descriptions of topological spaces, both in terms of neighbourhood systems and (ultra)filter convergence relations.
منابع مشابه
Exponential Kleisli Monoids as Eilenberg-Moore Algebras
Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the Kleisli category of a monad. Exponentiable objects in this category are identified as those Kleisli monoids with algebraic structure. This result generalizes the classical identification of exponentiable topological spaces as those whose lattice of open subsets forms a continuous lattice.
متن کاملA Kleisli-based Approach to Lax Algebras
By exploiting the description of topological spaces by either neighborhood systems or filter convergence, we obtain a neighborhood-like presentation of categories of lax algebras. The simplicity of this presentation pinpoints the importance of the Kleisli extension, which is introduced as a particular lax extension of the associated monad functor.
متن کاملLowen uniformity via fuzzifying uniformity
The original definition of a topological space given by Hausdorff used neighborhood systems. Lattice-valued maps appear in this context when you identify a topology with a monoid in the Kleisli category of the filter monad on SET. H?hle’s notion of a lattice-valued topology [2] uses the same idea and it’s inspired in the classical lattice-valued topologies. Ltopological spaces are motivated by ...
متن کاملLax Formal Theory of Monads, Monoidal Approach to Bicategorical Structures and Generalized Operads
Generalized operads, also called generalized multicategories and T -monoids, are defined as monads within a Kleisli bicategory. With or without emphasizing their monoidal nature, generalized operads have been considered by numerous authors in different contexts, with examples including symmetric multicategories, topological spaces, globular operads and Lawvere theories. In this paper we study f...
متن کاملExponentiability in Homotopy Slices of Top and Pseudo-slices of Cat
We prove a general theorem relating pseudo-exponentiable objects of a bicategory K to those of the Kleisli bicategory of a pseudo-monad on K. This theorem is applied to obtain pseudo-exponentiable objects of the homotopy slices Top//B of the category of topological spaces and the pseudo-slices Cat//B of the category of small categories.
متن کامل